попались мне на глаза аксиомы для операций + и * на вещественной прямой, а так же для неравенств там же и тут же мне пришло в голову что неплохо бы доказать что 0*x=0 и 0<=x*x ( Read more... )